$\forall$$P$, $v$:Top. ($\forall$$x$,$y$$\in$[$v$].  $P$($x$,$y$)) $\Leftarrow\!\Rightarrow$ True